|
|
1.
|
Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication and cryptography
by Hromkovic, Juraj. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 HRO] (1).
|
|
|
2.
|
Software engineering 1 : abstraction and modelling.
by Bjorner, Dines | Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
|
|
|
3.
|
Software engineering 2 : specification of systems and languages
by Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 620.0028553 BJO] (1).
|
|
|
4.
|
Software engineering 3 : domains, requirements, and software design
by Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 620.0028553 BJO] (1).
|
|
|
5.
|
Elements of finite model theory
by Libkin, Leonid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1).
|
|
|
6.
|
Design and analysis of randomized algorithms : introduction to design paradigms
by Hromkovic, Juraj. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 519.23 HRO] (1).
|
|
|
7.
|
Algorithmics for hard problems
by Hromkovic, Juraj. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 HRO] (1).
|
|
|
8.
|
Public-key cryptography
by Salomma, Arto. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 005.82 SAL] (1).
|
|
|
9.
|
Computable analysis : an introduction
by Weihrauch, Klaus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2000Availability: Items available for loan: [Call number: 515 WEI] (1).
|
|
|
10.
|
Finite model theory and its applications
by Gradel, Erich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 511.34 GRA] (1).
|
|
|
11.
|
Abstract computing machines : a lambda calculus perspective
by Kluge, Werner. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 511.3 KLU] (1).
|
|
|
12.
|
DNA computing : new computing paradigms
by Paun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 511.3 PAU] (1).
|
|
|
13.
|
Temporal logic and state systems
by Merz, Stephan | Kroger, Fred. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 160 KRO] (1).
|
|
|
14.
|
Dissemination of information in optical networks : from technology to algorithms
by Bandyopadhyay, Subir | Klasing, Ralf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 621.3827 BAN] (1).
|
|
|
15.
|
Modelling distributed systems
by Fokkink, Wan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 003.78 FOK] (1).
|
|
|
16.
|
Decision procedures : an algorithmic point of view
by Kroening, Daniel | Strichman, Ofer. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 518.1 KRO] (2).
|
|
|
17.
|
Graphs and algorithms in communication networks : studies in broadband, optical, wireless and ad hoc networks
by Koster, Arie | Munoz, Xavier. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004.6 KOS] (1).
|
|
|
18.
|
Exact exponential algorithms.
by Fomin, Fedor V | Kratsch, D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 518.1 FOM] (1).
|
